Modified lines:	1
Added line:	77
Removed line:	None

Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.

Generated by diff2html on Mon May 14 20:59:11 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_000 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_001

Modified lines:	1, 77
Added line:	None
Removed line:	None

Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.

Generated by diff2html on Mon May 14 20:59:11 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_001 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_002

Modified lines:	1, 77
Added line:	None
Removed line:	None

Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.

Generated by diff2html on Mon May 14 20:59:11 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_002 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_003

Modified lines:	1, 77
Added line:	None
Removed line:	None

Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.

Generated by diff2html on Mon May 14 20:59:11 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_003 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_004

Modified lines:	1, 2, 4, 10, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 50, 51, 76, 77, 78, 80, 81, 82, 83, 84, 85, 86, 87, 88, 91, 92, 95, 102, 103, 104, 106, 107, 111, 112, 115, 116, 117, 118, 119, 120, 121, 122, 123
Added line:	7, 13, 15, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 69, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 90, 117, 118, 119, 130, 131, 132, 133, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 197, 198, 199, 206, 207, 208, 209, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301
Removed line:	17, 18, 19, 20, 21, 22, 23, 93, 97, 108, 109

Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.

	DiffViewer/output/AnalysisResults.java//AnalysisResults.java_004		DiffViewer/output/AnalysisResults.java//AnalysisResults.java_005
	127 lines 5356 bytes Last modified : Mon May 14 20:27:08 2012		305 lines 11787 bytes Last modified : Mon May 14 20:27:48 2012
1	//Time : 2012-04-12 06:35:10.781	1	//Time : 2012-04-24 18:21:38.377
2	//Files Open : /mcmutton/src/main/java/edu/ucsd/salud/mcmutton/BugHunt.java /pvekris/src/main/java/energy/interproc/CtxSensLocking.java /pvekris/src/main/java/energy/analysis/WakeLockManager.java /pvekris/src/main/java/energy/analysis/Opts.java /pvekris/src/main/java/energy/analysis/SpecialConditions.java /pvekris/src/main/java/energy/analysis/AnalysisResults.java /pvekris/src/main/java/energy/analysis/ComponentManager.java	2	//Files Open : /pvekris/src/main/java/energy/analysis/AnalysisResults.java /mcmutton/src/main/java/edu/ucsd/salud/mcmutton/BugHunt.java
3	package energy.analysis;	3	package energy.analysis;
4	import java.util.EnumMap;	4	import java.util.ArrayList;
5	import java.util.HashMap;	5	import java.util.HashMap;
6	import java.util.HashSet;	6	import java.util.HashSet;
		7	import java.util.Iterator;
7	import java.util.Map;	8	import java.util.Map;
8	import java.util.Map.Entry;	9	import java.util.Map.Entry;
9	import java.util.Set;	10	import java.util.Set;
10	import com.ibm.wala.types.FieldReference;	11	import com.ibm.wala.ipa.callgraph.CGNode;
11	import com.ibm.wala.util.collections.Pair;	12	import com.ibm.wala.util.collections.Pair;
		13	import energy.analysis.WakeLockManager.WakeLockInstance;
12	import energy.components.Component;	14	import energy.components.Component;
		15	import energy.components.Component.CallBack;
13	import energy.interproc.CompoundLockState;	16	import energy.interproc.CompoundLockState;
14	import energy.interproc.SingleLockState;	17	import energy.interproc.SingleLockState;
15	import energy.util.E;	18	import energy.util.E;
16	public class AnalysisResults {	19	public class AnalysisResults {
17	private HashSet<Pair<Component,Map<String,Map<FieldReference,Set<SingleLockState>>>>> resultStuff=null;
18	public class ComponentResult {
19	HashMap<String,CompoundLockState> callBackExitStates;
20	public ComponentResult(){
21	callBackExitStates=new HashMap<String,CompoundLockState>();
22	}
23	}
24	/**	20	/**
25	* The constructor	21	* Main structures that hold the analysis results for every component
26	*/	22	*/
27	AnalysisResults(){	23	private HashSet<Pair<Component,ComponentSummary>> allStates=null;
28	resultStuff=new HashSet<Pair<Component,Map<String,Map<FieldReference,Set<SingleLockState>>>>>();	24	public class ComponentSummary {
29	callBackResultMap=new HashMap<Pair<String,String>,EnumMap<LockUsage,Integer>>();	25	private Component component;
30	}	26	private HashMap<CallBack,CompoundLockState> callBackExitStates;
31	int threadCount=0;	27	private HashMap<CGNode,CompoundLockState> allExitStates;
32	int activityCount=0;	28	public ComponentSummary( Component c){
33	int lockThreads=0;	29	this.component=c;
34	int nolockThreads=0;	30	allExitStates=new HashMap<CGNode,CompoundLockState>();
35	int unlockThreads=0;	31	callBackExitStates=new HashMap<Component.CallBack,CompoundLockState>();
36	int lockunlockThreads=0;	32	}
37	public enum LockUsage { LOCKING, UNLOCKING, NOLOCKING, LOCKUNLOCK, EMPTY, UNKNOWN_STATE, FULL_UNLOCKING}	33	public HashMap<CGNode,CompoundLockState> getAllExitStates(){
38	private Map<Pair<String,String>,EnumMap<LockUsage,Integer>> callBackResultMap;	34	return allExitStates;
39	public void registerExitLockState( Component component, Map<String,Map<FieldReference,Set<SingleLockState>>> map){	35	}
40	resultStuff.add(Pair.make(component,map));	36	public void registerNodeState( CGNode n, CompoundLockState st){
41	StringBuffer sb=new StringBuffer();	37	allExitStates.put(n,st);
42	for ( Entry<String,Map<FieldReference,Set<SingleLockState>>> e : map.entrySet()) {	38	}
43	if (e.getValue().size() > 0) {	39	public void registerCallBackState( CallBack cb, CompoundLockState st){
44	sb.append(e.getKey() + "\n");	40	callBackExitStates.put(cb,st);
45	for ( Entry<FieldReference,Set<SingleLockState>> entry : e.getValue().entrySet()) {	41	}
46	sb.append(entry.getKey() + " -> " + entry.getValue().toString());	42	public CompoundLockState getStateForMethod( String method){
		43	return allExitStates.get(method);
		44	}
		45	public String toString(){
		46	StringBuffer sb=new StringBuffer();
		47	for (Iterator<CGNode> it=component.getCallgraph().iterator(); it.hasNext(); ) {
		48	CGNode next=it.next();
		49	String name=next.getMethod().getName().toString();
		50	CompoundLockState stateForMethod=getStateForMethod(name);
		51	if (stateForMethod != null) {
		52	sb.append(name + ":\n" + stateForMethod.toString());
		53	}
		54	}
		55	HashSet<CallBack> callbacks=component.getCallbacks();
		56	if (callbacks != null) {
		57	if (callbacks.size() > 0) {
		58	sb.append("Callbacks:\n");
		59	for ( CallBack cb : callbacks) {
		60	String name=cb.getName();
		61	;
		62	CompoundLockState stateForMethod=getStateForMethod(name);
		63	if (stateForMethod != null) {
		64	sb.append(" " + name + ":\n"+ stateForMethod.toString());
		65	}
		66	}
47	}	67	}
48	}	68	}
		69	return null;
49	}	70	}
50	if (sb.length() > 0) {	71	}
51	E.log(1,component.toString() + "\n" + sb.toString());	72	public AnalysisResults(){
		73	allStates=new HashSet<Pair<Component,ComponentSummary>>();
		74	}
		75	public enum LockUsage { LOCKING, UNLOCKING, NOLOCKING, LOCKUNLOCK, EMPTY, UNKNOWN_STATE, FULL_UNLOCKING}
		76	/**
		77	* Invoke this after the component has been analyzed
		78	* @param component
		79	*/
		80	public void createComponentSummary( Component component){
		81	ComponentSummary componentSummary=new ComponentSummary(component);
		82	for (Iterator<CGNode> it=component.getCallgraph().iterator(); it.hasNext(); ) {
		83	CGNode next=it.next();
		84	Map<WakeLockInstance,Set<SingleLockState>> exitState=component.getExitState(next);
		85	if (exitState != null) {
		86	CompoundLockState compoundLockState=new CompoundLockState(exitState);
		87	componentSummary.registerNodeState(next,compoundLockState);
		88	}
52	}	89	}
		90	allStates.add(Pair.make(component,componentSummary));
53	}	91	}
54	private LockUsage getLockUsage( SingleLockState runState){	92	private LockUsage getLockUsage( SingleLockState runState){
55	if (runState != null) {	93	if (runState != null) {
56	if (runState.isMaybeAcquired() && (!runState.isMaybeReleased())) {	94	if (runState.isMaybeAcquired() && (!runState.isMaybeReleased())) {
57	return LockUsage.LOCKING;	95	return LockUsage.LOCKING;
58	}	96	}
59	else if (!runState.isMaybeReleased() && (!runState.isMaybeAcquired())) {	97	else if (!runState.isMaybeReleased() && (!runState.isMaybeAcquired())) {
60	return LockUsage.EMPTY;	98	return LockUsage.EMPTY;
61	}	99	}
62	else if (runState.isMaybeReleased() && (!runState.isMaybeAcquired())) {	100	else if (runState.isMaybeReleased() && (!runState.isMaybeAcquired())) {
63	return LockUsage.FULL_UNLOCKING;	101	return LockUsage.FULL_UNLOCKING;
64	}	102	}
65	else if (runState.isMaybeReleased()) {	103	else if (runState.isMaybeReleased()) {
66	return LockUsage.UNLOCKING;	104	return LockUsage.UNLOCKING;
67	}	105	}
68	else {	106	else {
69	return LockUsage.UNKNOWN_STATE;	107	return LockUsage.UNKNOWN_STATE;
70	}	108	}
71	}	109	}
72	else {	110	else {
73	return LockUsage.EMPTY;	111	return LockUsage.EMPTY;
74	}	112	}
75	}	113	}
76	public void processResults(){	114	public ArrayList<String> processResults(){
77	System.out.println("\n");	115	ArrayList<String> result=null;
78	for ( Pair<Component,Map<String,Map<FieldReference,Set<SingleLockState>>>> pair : resultStuff) {	116	System.out.println("\n==========================================");
		117	HashMap<LockUsage,Set<Pair<Component,CGNode>>> usageMap=new HashMap<LockUsage,Set<Pair<Component,CGNode>>>();
		118	HashMap<Component,Logger> componentMap=new HashMap<Component,Logger>();
		119	for ( Pair<Component,ComponentSummary> pair : allStates) {
79	Component component=pair.fst;	120	Component component=pair.fst;
80	String componentName=component.getComponentName();	121	ComponentSummary cSummary=pair.snd;
81	Map<String,Map<FieldReference,Set<SingleLockState>>> callBackMap=pair.snd;	122	ComponentPolicy policy=new ComponentPolicy(component);
82	for ( Entry<String,Map<FieldReference,Set<SingleLockState>>> e : callBackMap.entrySet()) {	123	StringBuffer sb=new StringBuffer();
83	String callBackName=e.getKey();	124	boolean printComponent=false;
84	Pair<String,String> compAndCB=Pair.make(component.toString(),callBackName);	125	for ( Entry<CGNode,CompoundLockState> e : cSummary.getAllExitStates().entrySet()) {
85	Pair<String,String> abstCompAndCB=Pair.make(componentName,callBackName);	126	CGNode node=e.getKey();
86	HashMap<FieldReference,LockUsage> lockUsages=new HashMap<FieldReference,LockUsage>();	127	HashMap<WakeLockInstance,LockUsage> lockUsages=new HashMap<WakeLockInstance,LockUsage>();
87	for ( Entry<FieldReference,Set<SingleLockState>> fs : e.getValue().entrySet()) {	128	boolean printMethod=false;
88	FieldReference field=fs.getKey();	129	LockUsage lockUsage=LockUsage.EMPTY;
		130	CompoundLockState compLS=e.getValue();
		131	Map<WakeLockInstance,Set<SingleLockState>> allLockStates=compLS.getAllLockStates();
		132	for ( Entry<WakeLockInstance,Set<SingleLockState>> fs : allLockStates.entrySet()) {
		133	WakeLockInstance wli=fs.getKey();
89	Set<SingleLockState> sls=fs.getValue();	134	Set<SingleLockState> sls=fs.getValue();
90	SingleLockState sl=SingleLockState.mergeSingleLockStates(sls);	135	SingleLockState sl=SingleLockState.mergeSingleLockStates(sls);
91	LockUsage lockUsage=getLockUsage(sl);	136	lockUsage=getLockUsage(sl);
92	lockUsages.put(field,lockUsage);	137	lockUsages.put(wli,lockUsage);
93	EnumMap<LockUsage,Integer> enumMap=callBackResultMap.get(abstCompAndCB);
94	if (lockUsage != LockUsage.EMPTY) {	138	if (lockUsage != LockUsage.EMPTY) {
95	E.log(1,compAndCB.toString() + " :: " + lockUsage.toString());	139	printMethod=true;
96	}	140	}
97	updateEnumMap(enumMap,lockUsage);
98	}	141	}
		142	if (printMethod) {
		143	if (Opts.OUTPUT_ALL_NODE_INFO \|\| component.isCallBack(node)) {
		144	printComponent=true;
		145	HashSet<SingleLockState> tempState=new HashSet<SingleLockState>();
		146	sb.append(" " + node.getMethod().getSignature().toString() + "\n");
		147	for ( Entry<WakeLockInstance,Set<SingleLockState>> fs : compLS.getAllLockStates().entrySet()) {
		148	WakeLockInstance key=fs.getKey();
		149	Set<SingleLockState> value=fs.getValue();
		150	tempState.add(SingleLockState.mergeSingleLockStates(value));
		151	sb.append("\t" + key.toString() + "\n\t"+ value.toString()+ "\n");
		152	}
		153	SingleLockState mergedLS=SingleLockState.mergeSingleLockStates(tempState);
		154	LockUsage lu=getLockUsage(mergedLS);
		155	if (component.isCallBack(node)) {
		156	if (usageMap.containsKey(lu)) {
		157	usageMap.get(lu).add(Pair.make(component,node));
		158	}
		159	else {
		160	HashSet<Pair<Component,CGNode>> set=new HashSet<Pair<Component,CGNode>>();
		161	set.add(Pair.make(component,node));
		162	usageMap.put(lu,set);
		163	}
		164	policy.addFact(node,mergedLS);
		165	}
		166	}
		167	}
		168	}
		169	if (printComponent) {
		170	System.out.println(component.toString() + "\n" + sb.toString());
		171	policy.solveFacts();
		172	componentMap.put(component,policy.getLogger());
99	}	173	}
100	}	174	}
		175	System.out.println("==========================================\n");
		176	for ( LockUsage e : usageMap.keySet()) {
		177	System.out.println(e.toString());
		178	for ( Pair<Component,CGNode> s : usageMap.get(e)) {
		179	System.out.println(" " + s.toString());
		180	}
		181	}
		182	System.out.println("==========================================\n");
		183	for ( Component e : componentMap.keySet()) {
		184	Logger logger=componentMap.get(e);
		185	if (!logger.isEmpty()) {
		186	System.out.println(e.toString());
		187	System.out.println(logger.toString());
		188	System.out.println("\n");
		189	}
		190	result=logger.getStringList();
		191	}
		192	return result;
101	}	193	}
102	private void updateEnumMap( EnumMap<LockUsage,Integer> enumMap, LockUsage lockUsage){	194	public class Logger extends ArrayList<String> {
103	if (enumMap == null) {	195	private static final long serialVersionUID=4402714524487791090L;
104	enumMap=new EnumMap<LockUsage,Integer>(LockUsage.class);	196	public void output(){
		197	for ( String s : this) {
		198	System.out.println(" " + s);
		199	}
105	}	200	}
106	Integer count=enumMap.get(lockUsage);	201	public ArrayList<String> getStringList(){
107	if (count == null) {	202	return this;
108	count=new Integer(1);
109	enumMap.put(lockUsage,count);
110	}	203	}
111	else {	204	public String toString(){
112	enumMap.put(lockUsage,count + 1);	205	StringBuffer result=new StringBuffer();
		206	for ( String s : this) {
		207	result.append(s + "\n");
		208	}
		209	return result.toString();
113	}	210	}
114	}	211	}
115	public void outputFinalResults(){	212	public class ComponentPolicy {
116	for ( Entry<Pair<String,String>,EnumMap<LockUsage,Integer>> e : callBackResultMap.entrySet()) {	213	private Component component;
117	Pair<String,String> key=e.getKey();	214	public ComponentPolicy( Component component){
118	E.log(1,key.toString());	215	this.component=component;
119	EnumMap<LockUsage,Integer> usages=e.getValue();	216	map=new HashMap<String,SingleLockState>();
120	for ( Entry<LockUsage,Integer> u : usages.entrySet()) {	217	logger=new Logger();
121	LockUsage usage=u.getKey();	218	}
122	Integer count=u.getValue();	219	private HashMap<String,SingleLockState> map;
123	E.log(1,"--> " + usage.toString() + " :: "+ count.toString());	220	public void addFact( CGNode n, SingleLockState st){
		221	map.put(n.getMethod().getName().toString(),st);
		222	}
		223	private boolean unlocking( SingleLockState state){
		224	return (strongUnlocking(state) \|\| weakUnlocking(state));
		225	}
		226	private boolean strongUnlocking( SingleLockState state){
		227	if (state != null) {
		228	return (getLockUsage(state).equals(LockUsage.FULL_UNLOCKING));
		229	}
		230	return false;
		231	}
		232	private boolean weakUnlocking( SingleLockState state){
		233	if (state != null) {
		234	return (getLockUsage(state).equals(LockUsage.UNLOCKING));
		235	}
		236	return false;
		237	}
		238	private boolean locking( SingleLockState onCreateState){
		239	if (onCreateState != null) {
		240	return (getLockUsage(onCreateState).equals(LockUsage.LOCKING));
		241	}
		242	return false;
		243	}
		244	private Logger logger;
		245	private void logNote( String s){
		246	logger.add(s);
		247	}
		248	public Logger getLogger(){
		249	return logger;
		250	}
		251	private SingleLockState getServiceOnStart(){
		252	SingleLockState onStart=map.get("onStart");
		253	SingleLockState onStartCommand=map.get("onStartCommand");
		254	if (onStartCommand == null) {
		255	return onStart;
		256	}
		257	else {
		258	return onStartCommand;
		259	}
		260	}
		261	/**
		262	* TODO: make sure the same lock is locked and unlocked...
		263	*/
		264	public void solveFacts(){
		265	E.log(1,"Looking for: " + component.getComponentType());
		266	if (component.getComponentType().equals("Activity")) {
		267	SingleLockState onCreateState=map.get("onCreate");
		268	if (locking(onCreateState)) {
		269	logNote("STRONG BUG: Locking @ onCreate");
		270	}
		271	SingleLockState onStartState=map.get("onStart");
		272	if (locking(onStartState)) {
		273	logNote("POSSIBLE BUG: Locking @ onStart");
		274	}
		275	SingleLockState onPauseState=map.get("onPause");
		276	SingleLockState onResumeState=map.get("onResume");
		277	if (locking(onResumeState) && (!unlocking(onPauseState))) {
		278	logNote("POSSIBLE BUG(onPause - onResume)");
		279	}
		280	}
		281	if (component.getComponentType().equals("Service")) {
		282	SingleLockState onStartState=getServiceOnStart();
		283	SingleLockState onDestroyState=map.get("onDestroy");
		284	if (locking(onStartState) && (!unlocking(onDestroyState))) {
		285	logNote("STRONG BUG: " + component.toString() + "Locking @ onDestroy");
		286	}
		287	if (weakUnlocking(onDestroyState)) {
		288	logNote("WEAK BUG: " + component.toString() + "Weak UnLocking @ onDestroy");
		289	}
		290	}
		291	if (component.getComponentType().equals("RunnableThread")) {
		292	SingleLockState runState=map.get("run");
		293	if (locking(runState)) {
		294	logNote("WEAK BUG: " + component.toString() + "Locking @ run");
		295	}
		296	}
		297	if (component.getComponentType().equals("BroadcastReceiver")) {
		298	SingleLockState onReceiveState=map.get("onReceive");
		299	if (locking(onReceiveState)) {
		300	logNote("WEAK BUG: " + component.toString() + "Locking @ onReceive");
		301	}
124	}	302	}
125	}	303	}
126	}	304	}
127	}	305	}

Generated by diff2html on Mon May 14 20:59:11 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_004 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_005

Modified lines:	1, 273
Added line:	None
Removed line:	None

Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.

Generated by diff2html on Mon May 14 20:59:11 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_005 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_006

Modified lines:	1, 278
Added line:	None
Removed line:	None

Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.

Generated by diff2html on Mon May 14 20:59:11 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_006 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_007

Modified lines:	1, 278
Added line:	None
Removed line:	None

Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.

Generated by diff2html on Mon May 14 20:59:11 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_007 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_008

Modified lines:	1, 278
Added line:	None
Removed line:	None

Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.

Generated by diff2html on Mon May 14 20:59:12 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_008 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_009

Modified lines:	1, 278
Added line:	None
Removed line:	None

Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.

Generated by diff2html on Mon May 14 20:59:12 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_009 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_010

Modified lines:	1, 278
Added line:	None
Removed line:	None

Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.

Generated by diff2html on Mon May 14 20:59:12 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_010 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_011

Modified lines:	1, 278
Added line:	None
Removed line:	None

Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.

Generated by diff2html on Mon May 14 20:59:12 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_011 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_012

Modified lines:	1, 273
Added line:	None
Removed line:	None

Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.

Generated by diff2html on Mon May 14 20:59:12 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_012 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_013

Modified lines:	1, 269
Added line:	None
Removed line:	None

Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.

Generated by diff2html on Mon May 14 20:59:12 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_013 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_015

Modified lines:	1
Added line:	275, 276, 277, 278
Removed line:	None

Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.

Generated by diff2html on Mon May 14 20:59:12 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_015 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_016

Modified lines:	1, 275
Added line:	None
Removed line:	None

Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.

Generated by diff2html on Mon May 14 20:59:12 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_016 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_017

Modified lines:	1, 275
Added line:	None
Removed line:	None

Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.

Generated by diff2html on Mon May 14 20:59:12 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_017 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_018

Modified lines:	1, 275
Added line:	None
Removed line:	None

Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.

Generated by diff2html on Mon May 14 20:59:12 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_018 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_019

Modified lines:	1, 276
Added line:	None
Removed line:	None

Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.

Generated by diff2html on Mon May 14 20:59:12 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_019 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_020

Modified lines:	1, 277
Added line:	None
Removed line:	None

Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.

Generated by diff2html on Mon May 14 20:59:12 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_020 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_021

Modified lines:	1, 2
Added line:	301, 302, 303, 304, 305, 306
Removed line:	None

Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.

Generated by diff2html on Mon May 14 20:59:12 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_021 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_022

Modified lines:	1, 301
Added line:	None
Removed line:	None

Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.

Generated by diff2html on Mon May 14 20:59:12 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_022 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_023

Modified lines:	1, 302
Added line:	None
Removed line:	None

Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.

Generated by diff2html on Mon May 14 20:59:12 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_023 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_024

Modified lines:	1, 302
Added line:	None
Removed line:	None

Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.

Generated by diff2html on Mon May 14 20:59:12 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_024 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_025

Modified lines:	1, 303
Added line:	None
Removed line:	None

Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.

Generated by diff2html on Mon May 14 20:59:12 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_025 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_026

Modified lines:	1, 303
Added line:	None
Removed line:	None

Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.

Generated by diff2html on Mon May 14 20:59:12 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_026 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_027

Modified lines:	1, 303
Added line:	None
Removed line:	None

Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.

Generated by diff2html on Mon May 14 20:59:13 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_027 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_028

Modified lines:	1, 303
Added line:	None
Removed line:	None

Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.

Generated by diff2html on Mon May 14 20:59:13 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_028 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_029

Modified lines:	1, 303
Added line:	None
Removed line:	None

Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.

Generated by diff2html on Mon May 14 20:59:13 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_029 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_030

Modified lines:	1, 303
Added line:	None
Removed line:	None

Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.

Generated by diff2html on Mon May 14 20:59:13 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_030 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_031

Modified lines:	1, 303
Added line:	None
Removed line:	None

Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.

Generated by diff2html on Mon May 14 20:59:13 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_031 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_032

Modified lines:	1, 303
Added line:	None
Removed line:	None

Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.

Generated by diff2html on Mon May 14 20:59:13 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_032 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_033

Modified lines:	1, 303
Added line:	None
Removed line:	None

Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.

Generated by diff2html on Mon May 14 20:59:13 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_033 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_034

Modified lines:	1, 303
Added line:	None
Removed line:	None

Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.

Generated by diff2html on Mon May 14 20:59:13 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_034 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_035

Modified lines:	1, 303
Added line:	None
Removed line:	None

Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.

Generated by diff2html on Mon May 14 20:59:13 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_035 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_036

Modified lines:	1, 303
Added line:	None
Removed line:	None

Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.

Generated by diff2html on Mon May 14 20:59:13 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_036 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_037

Modified lines:	1, 303
Added line:	None
Removed line:	None

Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.

Generated by diff2html on Mon May 14 20:59:13 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_037 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_038

Modified lines:	1, 303
Added line:	None
Removed line:	None

Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.

Generated by diff2html on Mon May 14 20:59:13 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_038 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_039

Modified lines:	1, 303
Added line:	None
Removed line:	None

Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.

Generated by diff2html on Mon May 14 20:59:13 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_039 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_040

Modified lines:	1, 303
Added line:	None
Removed line:	None

Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.

Generated by diff2html on Mon May 14 20:59:13 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_040 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_041

Modified lines:	1, 302, 303
Added line:	None
Removed line:	None

Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.

Generated by diff2html on Mon May 14 20:59:13 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_041 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_045

Modified lines:	1, 304
Added line:	None
Removed line:	None

Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.

Generated by diff2html on Mon May 14 20:59:13 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_045 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_046

Modified lines:	1, 304
Added line:	None
Removed line:	None

Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.

Generated by diff2html on Mon May 14 20:59:13 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_046 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_047

Modified lines:	1, 304
Added line:	None
Removed line:	None

Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.

Generated by diff2html on Mon May 14 20:59:14 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_047 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_048

Modified lines:	1, 304
Added line:	None
Removed line:	None

Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.

Generated by diff2html on Mon May 14 20:59:14 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_048 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_049

Modified lines:	1, 304
Added line:	None
Removed line:	None

Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.

Generated by diff2html on Mon May 14 20:59:14 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_049 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_050

Modified lines:	1, 281
Added line:	None
Removed line:	None

Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.

Generated by diff2html on Mon May 14 20:59:14 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_050 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_051

Modified lines:	1, 281
Added line:	None
Removed line:	None

Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.

Generated by diff2html on Mon May 14 20:59:14 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_051 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_052

Modified lines:	1, 281
Added line:	None
Removed line:	None

Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.

Generated by diff2html on Mon May 14 20:59:14 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_052 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_053

Modified lines:	1, 281
Added line:	None
Removed line:	None

Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.

Generated by diff2html on Mon May 14 20:59:14 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_053 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_054

Modified lines:	1, 281
Added line:	None
Removed line:	None

Generated by diff2html on Mon May 14 20:59:14 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_054 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_056

Modified lines:	1, 281
Added line:	None
Removed line:	None

Generated by diff2html on Mon May 14 20:59:14 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_056 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_057

Modified lines:	1
Added line:	284, 285, 286
Removed line:	None

Generated by diff2html on Mon May 14 20:59:14 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_057 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_058

Modified lines:	1, 285
Added line:	None
Removed line:	None

Generated by diff2html on Mon May 14 20:59:14 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_058 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_059

Modified lines:	1, 281
Added line:	None
Removed line:	None

Generated by diff2html on Mon May 14 20:59:14 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_059 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_060

Modified lines:	1, 281
Added line:	None
Removed line:	None

Generated by diff2html on Mon May 14 20:59:14 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_060 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_061

Modified lines:	1, 281
Added line:	None
Removed line:	None

Generated by diff2html on Mon May 14 20:59:14 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_061 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_062

Modified lines:	1, 230
Added line:	None
Removed line:	None

Generated by diff2html on Mon May 14 20:59:14 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_062 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_063

Modified lines:	1, 236
Added line:	None
Removed line:	None

Generated by diff2html on Mon May 14 20:59:14 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_063 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_064

Modified lines:	1, 282
Added line:	None
Removed line:	None

Generated by diff2html on Mon May 14 20:59:14 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_064 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_065

Modified lines:	1, 285
Added line:	None
Removed line:	None

Generated by diff2html on Mon May 14 20:59:14 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_065 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_066

Modified lines:	1
Added line:	None
Removed line:	265

Generated by diff2html on Mon May 14 20:59:15 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_066 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_067

Modified lines:	1, 2, 114, 115, 194, 197, 198, 201, 206, 207, 245, 246, 268, 272, 276, 281, 284, 291, 294, 300, 306, 312
Added line:	75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92
Removed line:	18, 279

	DiffViewer/output/AnalysisResults.java//AnalysisResults.java_067		DiffViewer/output/AnalysisResults.java//AnalysisResults.java_068
	317 lines 12719 bytes Last modified : Mon May 14 20:27:49 2012		333 lines 13323 bytes Last modified : Mon May 14 20:27:54 2012
1	//Time : 2012-04-24 19:43:38.605	1	//Time : 2012-04-26 18:50:13.586
2	//Files Open : /com.ibm.wala.core/src/com/ibm/wala/cfg/ShrikeCFG.java /com.ibm.wala.core/src/com/ibm/wala/cfg/AbstractCFG.java /com.ibm.wala.core/src/com/ibm/wala/ssa/SSACFG.java /com.ibm.wala.core/src/com/ibm/wala/cfg/ControlFlowGraph.java /pvekris/src/main/java/energy/analysis/AnalysisResults.java /com.ibm.wala.core/src/com/ibm/wala/cfg/CFGSanitizer.java /mcmutton/src/main/java/edu/ucsd/salud/mcmutton/BugHunt.java	2	//Files Open : /pvekris/src/main/java/energy/analysis/AnalysisResults.java /pvekris/src/main/java/energy/analysis/ComponentManager.java /mcmutton/src/main/java/edu/ucsd/salud/mcmutton/BugHunt.java
3	package energy.analysis;	3	package energy.analysis;
4	import java.util.ArrayList;	4	import java.util.ArrayList;
5	import java.util.HashMap;	5	import java.util.HashMap;
6	import java.util.HashSet;	6	import java.util.HashSet;
7	import java.util.Iterator;	7	import java.util.Iterator;
8	import java.util.Map;	8	import java.util.Map;
9	import java.util.Map.Entry;	9	import java.util.Map.Entry;
10	import java.util.Set;	10	import java.util.Set;
11	import com.ibm.wala.ipa.callgraph.CGNode;	11	import com.ibm.wala.ipa.callgraph.CGNode;
12	import com.ibm.wala.util.collections.Pair;	12	import com.ibm.wala.util.collections.Pair;
13	import energy.analysis.WakeLockManager.WakeLockInstance;	13	import energy.analysis.WakeLockManager.WakeLockInstance;
14	import energy.components.Component;	14	import energy.components.Component;
15	import energy.components.Component.CallBack;	15	import energy.components.Component.CallBack;
16	import energy.interproc.CompoundLockState;	16	import energy.interproc.CompoundLockState;
17	import energy.interproc.SingleLockState;	17	import energy.interproc.SingleLockState;
18	import energy.util.E;
19	public class AnalysisResults {	18	public class AnalysisResults {
20	/**	19	/**
21	* Main structures that hold the analysis results for every component	20	* Main structures that hold the analysis results for every component
22	*/	21	*/
23	private HashSet<Pair<Component,ComponentSummary>> allStates=null;	22	private HashSet<Pair<Component,ComponentSummary>> allStates=null;
24	public class ComponentSummary {	23	public class ComponentSummary {
25	private Component component;	24	private Component component;
26	private HashMap<CallBack,CompoundLockState> callBackExitStates;	25	private HashMap<CallBack,CompoundLockState> callBackExitStates;
27	private HashMap<CGNode,CompoundLockState> allExitStates;	26	private HashMap<CGNode,CompoundLockState> allExitStates;
28	public ComponentSummary( Component c){	27	public ComponentSummary( Component c){
29	this.component=c;	28	this.component=c;
30	allExitStates=new HashMap<CGNode,CompoundLockState>();	29	allExitStates=new HashMap<CGNode,CompoundLockState>();
31	callBackExitStates=new HashMap<Component.CallBack,CompoundLockState>();	30	callBackExitStates=new HashMap<Component.CallBack,CompoundLockState>();
32	}	31	}
33	public HashMap<CGNode,CompoundLockState> getAllExitStates(){	32	public HashMap<CGNode,CompoundLockState> getAllExitStates(){
34	return allExitStates;	33	return allExitStates;
35	}	34	}
36	public void registerNodeState( CGNode n, CompoundLockState st){	35	public void registerNodeState( CGNode n, CompoundLockState st){
37	allExitStates.put(n,st);	36	allExitStates.put(n,st);
38	}	37	}
39	public void registerCallBackState( CallBack cb, CompoundLockState st){	38	public void registerCallBackState( CallBack cb, CompoundLockState st){
40	callBackExitStates.put(cb,st);	39	callBackExitStates.put(cb,st);
41	}	40	}
42	public CompoundLockState getStateForMethod( String method){	41	public CompoundLockState getStateForMethod( String method){
43	return allExitStates.get(method);	42	return allExitStates.get(method);
44	}	43	}
45	public String toString(){	44	public String toString(){
46	StringBuffer sb=new StringBuffer();	45	StringBuffer sb=new StringBuffer();
47	for (Iterator<CGNode> it=component.getCallgraph().iterator(); it.hasNext(); ) {	46	for (Iterator<CGNode> it=component.getCallgraph().iterator(); it.hasNext(); ) {
48	CGNode next=it.next();	47	CGNode next=it.next();
49	String name=next.getMethod().getName().toString();	48	String name=next.getMethod().getName().toString();
50	CompoundLockState stateForMethod=getStateForMethod(name);	49	CompoundLockState stateForMethod=getStateForMethod(name);
51	if (stateForMethod != null) {	50	if (stateForMethod != null) {
52	sb.append(name + ":\n" + stateForMethod.toString());	51	sb.append(name + ":\n" + stateForMethod.toString());
53	}	52	}
54	}	53	}
55	HashSet<CallBack> callbacks=component.getCallbacks();	54	HashSet<CallBack> callbacks=component.getCallbacks();
56	if (callbacks != null) {	55	if (callbacks != null) {
57	if (callbacks.size() > 0) {	56	if (callbacks.size() > 0) {
58	sb.append("Callbacks:\n");	57	sb.append("Callbacks:\n");
59	for ( CallBack cb : callbacks) {	58	for ( CallBack cb : callbacks) {
60	String name=cb.getName();	59	String name=cb.getName();
61	;	60	;
62	CompoundLockState stateForMethod=getStateForMethod(name);	61	CompoundLockState stateForMethod=getStateForMethod(name);
63	if (stateForMethod != null) {	62	if (stateForMethod != null) {
64	sb.append(" " + name + ":\n"+ stateForMethod.toString());	63	sb.append(" " + name + ":\n"+ stateForMethod.toString());
65	}	64	}
66	}	65	}
67	}	66	}
68	}	67	}
69	return null;	68	return null;
70	}	69	}
71	}	70	}
72	public AnalysisResults(){	71	public AnalysisResults(){
73	allStates=new HashSet<Pair<Component,ComponentSummary>>();	72	allStates=new HashSet<Pair<Component,ComponentSummary>>();
74	}	73	}
75	public enum LockUsage { LOCKING, UNLOCKING, NOLOCKING, LOCKUNLOCK, EMPTY, UNKNOWN_STATE, FULL_UNLOCKING}	74	public enum LockUsage { LOCKING, UNLOCKING, NOLOCKING, LOCKUNLOCK, EMPTY, UNKNOWN_STATE, FULL_UNLOCKING}
		75	public enum ResultType { UNRESOLVED_INTERESTING_CALLBACKS, LOCKING_ON_CREATE, START_DESTROY, SERVICE_DESTROY, THREAD_RUN, HANDLE_MESSAGE, BROADCAST_RECEIVER_ONRECEIVE, LOCKING_ON_START, LOCKING_ON_RESTART, STRONG_PAUSE_RESUME, WEAK_PAUSE_RESUME, WEAK_SERVICE_DESTROY, STRONG_SERVICE_DESTROY, DID_NOT_PROCESS, OPTIMIZATION_FAILURE, ANALYSIS_FAILURE, UNIMPLEMENTED_FAILURE}
		76	public static class Result {
		77	private ResultType resultType;
		78	private String message;
		79	public ResultType getResultType(){
		80	return resultType;
		81	}
		82	public String getMessage(){
		83	return message;
		84	}
		85	public Result( ResultType rt, String msg){
		86	message=msg;
		87	resultType=rt;
		88	}
		89	public String toString(){
		90	return (resultType.name() + " " + message);
		91	}
		92	}
76	/**	93	/**
77	* Invoke this after the component has been analyzed	94	* Invoke this after the component has been analyzed
78	* @param component	95	* @param component
79	*/	96	*/
80	public void createComponentSummary( Component component){	97	public void createComponentSummary( Component component){
81	ComponentSummary componentSummary=new ComponentSummary(component);	98	ComponentSummary componentSummary=new ComponentSummary(component);
82	for (Iterator<CGNode> it=component.getCallgraph().iterator(); it.hasNext(); ) {	99	for (Iterator<CGNode> it=component.getCallgraph().iterator(); it.hasNext(); ) {
83	CGNode next=it.next();	100	CGNode next=it.next();
84	Map<WakeLockInstance,Set<SingleLockState>> exitState=component.getExitState(next);	101	Map<WakeLockInstance,Set<SingleLockState>> exitState=component.getExitState(next);
85	if (exitState != null) {	102	if (exitState != null) {
86	CompoundLockState compoundLockState=new CompoundLockState(exitState);	103	CompoundLockState compoundLockState=new CompoundLockState(exitState);
87	componentSummary.registerNodeState(next,compoundLockState);	104	componentSummary.registerNodeState(next,compoundLockState);
88	}	105	}
89	}	106	}
90	allStates.add(Pair.make(component,componentSummary));	107	allStates.add(Pair.make(component,componentSummary));
91	}	108	}
92	private LockUsage getLockUsage( SingleLockState runState){	109	private LockUsage getLockUsage( SingleLockState runState){
93	if (runState != null) {	110	if (runState != null) {
94	if (runState.isMaybeAcquired() && (!runState.isMaybeReleased())) {	111	if (runState.isMaybeAcquired() && (!runState.isMaybeReleased())) {
95	return LockUsage.LOCKING;	112	return LockUsage.LOCKING;
96	}	113	}
97	else if (!runState.isMaybeReleased() && (!runState.isMaybeAcquired())) {	114	else if (!runState.isMaybeReleased() && (!runState.isMaybeAcquired())) {
98	return LockUsage.EMPTY;	115	return LockUsage.EMPTY;
99	}	116	}
100	else if (runState.isMaybeReleased() && (!runState.isMaybeAcquired())) {	117	else if (runState.isMaybeReleased() && (!runState.isMaybeAcquired())) {
101	return LockUsage.FULL_UNLOCKING;	118	return LockUsage.FULL_UNLOCKING;
102	}	119	}
103	else if (runState.isMaybeReleased()) {	120	else if (runState.isMaybeReleased()) {
104	return LockUsage.UNLOCKING;	121	return LockUsage.UNLOCKING;
105	}	122	}
106	else {	123	else {
107	return LockUsage.UNKNOWN_STATE;	124	return LockUsage.UNKNOWN_STATE;
108	}	125	}
109	}	126	}
110	else {	127	else {
111	return LockUsage.EMPTY;	128	return LockUsage.EMPTY;
112	}	129	}
113	}	130	}
114	public ArrayList<String> processResults(){	131	public ArrayList<Result> processResults(){
115	ArrayList<String> result=null;	132	ArrayList<Result> result=new ArrayList<Result>();
116	System.out.println("\n==========================================");	133	System.out.println("\n==========================================");
117	HashMap<LockUsage,Set<Pair<Component,CGNode>>> usageMap=new HashMap<LockUsage,Set<Pair<Component,CGNode>>>();	134	HashMap<LockUsage,Set<Pair<Component,CGNode>>> usageMap=new HashMap<LockUsage,Set<Pair<Component,CGNode>>>();
118	HashMap<Component,Logger> componentMap=new HashMap<Component,Logger>();	135	HashMap<Component,Logger> componentMap=new HashMap<Component,Logger>();
119	for ( Pair<Component,ComponentSummary> pair : allStates) {	136	for ( Pair<Component,ComponentSummary> pair : allStates) {
120	Component component=pair.fst;	137	Component component=pair.fst;
121	ComponentSummary cSummary=pair.snd;	138	ComponentSummary cSummary=pair.snd;
122	ComponentPolicy policy=new ComponentPolicy(component);	139	ComponentPolicy policy=new ComponentPolicy(component);
123	StringBuffer sb=new StringBuffer();	140	StringBuffer sb=new StringBuffer();
124	boolean printComponent=false;	141	boolean printComponent=false;
125	for ( Entry<CGNode,CompoundLockState> e : cSummary.getAllExitStates().entrySet()) {	142	for ( Entry<CGNode,CompoundLockState> e : cSummary.getAllExitStates().entrySet()) {
126	CGNode node=e.getKey();	143	CGNode node=e.getKey();
127	HashMap<WakeLockInstance,LockUsage> lockUsages=new HashMap<WakeLockInstance,LockUsage>();	144	HashMap<WakeLockInstance,LockUsage> lockUsages=new HashMap<WakeLockInstance,LockUsage>();
128	boolean printMethod=false;	145	boolean printMethod=false;
129	LockUsage lockUsage=LockUsage.EMPTY;	146	LockUsage lockUsage=LockUsage.EMPTY;
130	CompoundLockState compLS=e.getValue();	147	CompoundLockState compLS=e.getValue();
131	Map<WakeLockInstance,Set<SingleLockState>> allLockStates=compLS.getAllLockStates();	148	Map<WakeLockInstance,Set<SingleLockState>> allLockStates=compLS.getAllLockStates();
132	for ( Entry<WakeLockInstance,Set<SingleLockState>> fs : allLockStates.entrySet()) {	149	for ( Entry<WakeLockInstance,Set<SingleLockState>> fs : allLockStates.entrySet()) {
133	WakeLockInstance wli=fs.getKey();	150	WakeLockInstance wli=fs.getKey();
134	Set<SingleLockState> sls=fs.getValue();	151	Set<SingleLockState> sls=fs.getValue();
135	SingleLockState sl=SingleLockState.mergeSingleLockStates(sls);	152	SingleLockState sl=SingleLockState.mergeSingleLockStates(sls);
136	lockUsage=getLockUsage(sl);	153	lockUsage=getLockUsage(sl);
137	lockUsages.put(wli,lockUsage);	154	lockUsages.put(wli,lockUsage);
138	if (lockUsage != LockUsage.EMPTY) {	155	if (lockUsage != LockUsage.EMPTY) {
139	printMethod=true;	156	printMethod=true;
140	}	157	}
141	}	158	}
142	if (printMethod) {	159	if (printMethod) {
143	if (Opts.OUTPUT_ALL_NODE_INFO \|\| component.isCallBack(node)) {	160	if (Opts.OUTPUT_ALL_NODE_INFO \|\| component.isCallBack(node)) {
144	printComponent=true;	161	printComponent=true;
145	HashSet<SingleLockState> tempState=new HashSet<SingleLockState>();	162	HashSet<SingleLockState> tempState=new HashSet<SingleLockState>();
146	sb.append(" " + node.getMethod().getSignature().toString() + "\n");	163	sb.append(" " + node.getMethod().getSignature().toString() + "\n");
147	for ( Entry<WakeLockInstance,Set<SingleLockState>> fs : compLS.getAllLockStates().entrySet()) {	164	for ( Entry<WakeLockInstance,Set<SingleLockState>> fs : compLS.getAllLockStates().entrySet()) {
148	WakeLockInstance key=fs.getKey();	165	WakeLockInstance key=fs.getKey();
149	Set<SingleLockState> value=fs.getValue();	166	Set<SingleLockState> value=fs.getValue();
150	tempState.add(SingleLockState.mergeSingleLockStates(value));	167	tempState.add(SingleLockState.mergeSingleLockStates(value));
151	sb.append("\t" + key.toString() + "\n\t"+ value.toString()+ "\n");	168	sb.append("\t" + key.toString() + "\n\t"+ value.toString()+ "\n");
152	}	169	}
153	SingleLockState mergedLS=SingleLockState.mergeSingleLockStates(tempState);	170	SingleLockState mergedLS=SingleLockState.mergeSingleLockStates(tempState);
154	LockUsage lu=getLockUsage(mergedLS);	171	LockUsage lu=getLockUsage(mergedLS);
155	if (component.isCallBack(node)) {	172	if (component.isCallBack(node)) {
156	if (usageMap.containsKey(lu)) {	173	if (usageMap.containsKey(lu)) {
157	usageMap.get(lu).add(Pair.make(component,node));	174	usageMap.get(lu).add(Pair.make(component,node));
158	}	175	}
159	else {	176	else {
160	HashSet<Pair<Component,CGNode>> set=new HashSet<Pair<Component,CGNode>>();	177	HashSet<Pair<Component,CGNode>> set=new HashSet<Pair<Component,CGNode>>();
161	set.add(Pair.make(component,node));	178	set.add(Pair.make(component,node));
162	usageMap.put(lu,set);	179	usageMap.put(lu,set);
163	}	180	}
164	policy.addFact(node,mergedLS);	181	policy.addFact(node,mergedLS);
165	}	182	}
166	}	183	}
167	}	184	}
168	}	185	}
169	if (printComponent) {	186	if (printComponent) {
170	System.out.println(component.toString() + "\n" + sb.toString());	187	System.out.println(component.toString() + "\n" + sb.toString());
171	policy.solveFacts();	188	policy.solveFacts();
172	componentMap.put(component,policy.getLogger());	189	componentMap.put(component,policy.getLogger());
173	}	190	}
174	}	191	}
175	System.out.println("==========================================\n");	192	System.out.println("==========================================\n");
176	for ( LockUsage e : usageMap.keySet()) {	193	for ( LockUsage e : usageMap.keySet()) {
177	System.out.println(e.toString());	194	System.out.println(e.toString());
178	for ( Pair<Component,CGNode> s : usageMap.get(e)) {	195	for ( Pair<Component,CGNode> s : usageMap.get(e)) {
179	System.out.println(" " + s.toString());	196	System.out.println(" " + s.toString());
180	}	197	}
181	}	198	}
182	System.out.println("==========================================\n");	199	System.out.println("==========================================\n");
183	for ( Component e : componentMap.keySet()) {	200	for ( Component e : componentMap.keySet()) {
184	Logger logger=componentMap.get(e);	201	Logger logger=componentMap.get(e);
185	if (!logger.isEmpty()) {	202	if (!logger.isEmpty()) {
186	System.out.println(e.toString());	203	System.out.println(e.toString());
187	System.out.println(logger.toString());	204	System.out.println(logger.toString());
188	System.out.println("\n");	205	System.out.println("\n");
189	}	206	}
190	result=logger.getStringList();	207	result=logger.getStringList();
191	}	208	}
192	return result;	209	return result;
193	}	210	}
194	public class Logger extends ArrayList<String> {	211	public class Logger extends ArrayList<Result> {
195	private static final long serialVersionUID=4402714524487791090L;	212	private static final long serialVersionUID=4402714524487791090L;
196	public void output(){	213	public void output(){
197	for ( String s : this) {	214	for ( Result r : this) {
198	System.out.println(" " + s);	215	System.out.println(" " + r.getResultType().toString());
199	}	216	}
200	}	217	}
201	public ArrayList<String> getStringList(){	218	public ArrayList<Result> getStringList(){
202	return this;	219	return this;
203	}	220	}
204	public String toString(){	221	public String toString(){
205	StringBuffer result=new StringBuffer();	222	StringBuffer result=new StringBuffer();
206	for ( String s : this) {	223	for ( Result r : this) {
207	result.append(s + "\n");	224	result.append(r.toString() + "\n");
208	}	225	}
209	return result.toString();	226	return result.toString();
210	}	227	}
211	}	228	}
212	public class ComponentPolicy {	229	public class ComponentPolicy {
213	private Component component;	230	private Component component;
214	public ComponentPolicy( Component component){	231	public ComponentPolicy( Component component){
215	this.component=component;	232	this.component=component;
216	map=new HashMap<String,SingleLockState>();	233	map=new HashMap<String,SingleLockState>();
217	logger=new Logger();	234	logger=new Logger();
218	}	235	}
219	private HashMap<String,SingleLockState> map;	236	private HashMap<String,SingleLockState> map;
220	public void addFact( CGNode n, SingleLockState st){	237	public void addFact( CGNode n, SingleLockState st){
221	map.put(n.getMethod().getName().toString(),st);	238	map.put(n.getMethod().getName().toString(),st);
222	}	239	}
223	private boolean unlocking( SingleLockState state){	240	private boolean unlocking( SingleLockState state){
224	return (strongUnlocking(state) \|\| weakUnlocking(state));	241	return (strongUnlocking(state) \|\| weakUnlocking(state));
225	}	242	}
226	private boolean strongUnlocking( SingleLockState state){	243	private boolean strongUnlocking( SingleLockState state){
227	if (state != null) {	244	if (state != null) {
228	return (getLockUsage(state).equals(LockUsage.FULL_UNLOCKING));	245	return (getLockUsage(state).equals(LockUsage.FULL_UNLOCKING));
229	}	246	}
230	return true;	247	return true;
231	}	248	}
232	private boolean weakUnlocking( SingleLockState state){	249	private boolean weakUnlocking( SingleLockState state){
233	if (state != null) {	250	if (state != null) {
234	return (getLockUsage(state).equals(LockUsage.UNLOCKING));	251	return (getLockUsage(state).equals(LockUsage.UNLOCKING));
235	}	252	}
236	return true;	253	return true;
237	}	254	}
238	private boolean locking( SingleLockState onCreateState){	255	private boolean locking( SingleLockState onCreateState){
239	if (onCreateState != null) {	256	if (onCreateState != null) {
240	return (getLockUsage(onCreateState).equals(LockUsage.LOCKING));	257	return (getLockUsage(onCreateState).equals(LockUsage.LOCKING));
241	}	258	}
242	return false;	259	return false;
243	}	260	}
244	private Logger logger;	261	private Logger logger;
245	private void logNote( String s){	262	private void logNote( Result result){
246	logger.add(s);	263	logger.add(result);
247	}	264	}
248	public Logger getLogger(){	265	public Logger getLogger(){
249	return logger;	266	return logger;
250	}	267	}
251	private SingleLockState getServiceOnStart(){	268	private SingleLockState getServiceOnStart(){
252	SingleLockState onStart=map.get("onStart");	269	SingleLockState onStart=map.get("onStart");
253	SingleLockState onStartCommand=map.get("onStartCommand");	270	SingleLockState onStartCommand=map.get("onStartCommand");
254	if (onStartCommand == null) {	271	if (onStartCommand == null) {
255	return onStart;	272	return onStart;
256	}	273	}
257	else {	274	else {
258	return onStartCommand;	275	return onStartCommand;
259	}	276	}
260	}	277	}
261	/**	278	/**
262	* TODO: make sure the same lock is locked and unlocked...	279	* TODO: make sure the same lock is locked and unlocked...
263	*/	280	*/
264	public void solveFacts(){	281	public void solveFacts(){
265	if (component.getComponentType().equals("Activity")) {	282	if (component.getComponentType().equals("Activity")) {
266	SingleLockState onCreateState=map.get("onCreate");	283	SingleLockState onCreateState=map.get("onCreate");
267	if (locking(onCreateState)) {	284	if (locking(onCreateState)) {
268	logNote("STRONG BUG: Locking @ onCreate (" + component.toString() + ")");	285	logNote(new Result(ResultType.LOCKING_ON_CREATE,component.toString()));
269	}	286	}
270	SingleLockState onStartState=map.get("onStart");	287	SingleLockState onStartState=map.get("onStart");
271	if (locking(onStartState)) {	288	if (locking(onStartState)) {
272	logNote("STRONG BUG: Locking @ onStart (" + component.toString() + ")");	289	logNote(new Result(ResultType.LOCKING_ON_START,component.toString()));
273	}	290	}
274	SingleLockState onRestartState=map.get("onRestart");	291	SingleLockState onRestartState=map.get("onRestart");
275	if (locking(onRestartState)) {	292	if (locking(onRestartState)) {
276	logNote("STRONG BUG: Locking @ onRestart (" + component.toString() + ")");	293	logNote(new Result(ResultType.LOCKING_ON_RESTART,component.toString()));
277	}	294	}
278	SingleLockState onPauseState=map.get("onPause");	295	SingleLockState onPauseState=map.get("onPause");
279	SingleLockState onResumeState=map.get("onResume");
280	if (!unlocking(onPauseState)) {	296	if (!unlocking(onPauseState)) {
281	logNote("STRONG BUG: onPause (" + component.toString() + ")");	297	logNote(new Result(ResultType.STRONG_PAUSE_RESUME,component.toString()));
282	}	298	}
283	if (weakUnlocking(onPauseState) && (!strongUnlocking(onPauseState))) {	299	if (weakUnlocking(onPauseState) && (!strongUnlocking(onPauseState))) {
284	logNote("WEAK BUG: onPause (" + component.toString() + ")");	300	logNote(new Result(ResultType.WEAK_PAUSE_RESUME,component.toString()));
285	}	301	}
286	}	302	}
287	if (component.getComponentType().equals("Service")) {	303	if (component.getComponentType().equals("Service")) {
288	SingleLockState onStartState=getServiceOnStart();	304	SingleLockState onStartState=getServiceOnStart();
289	SingleLockState onDestroyState=map.get("onDestroy");	305	SingleLockState onDestroyState=map.get("onDestroy");
290	if (locking(onStartState) && (!unlocking(onDestroyState))) {	306	if (locking(onStartState) && (!unlocking(onDestroyState))) {
291	logNote("STRONG BUG: " + component.toString() + "Locking @ onDestroy");	307	logNote(new Result(ResultType.STRONG_SERVICE_DESTROY,component.toString()));
292	}	308	}
293	if (weakUnlocking(onDestroyState)) {	309	if (weakUnlocking(onDestroyState)) {
294	logNote("WEAK BUG: " + component.toString() + "Weak UnLocking @ onDestroy");	310	logNote(new Result(ResultType.WEAK_SERVICE_DESTROY,component.toString()));
295	}	311	}
296	}	312	}
297	if (component.getComponentType().equals("RunnableThread")) {	313	if (component.getComponentType().equals("RunnableThread")) {
298	SingleLockState runState=map.get("run");	314	SingleLockState runState=map.get("run");
299	if (locking(runState)) {	315	if (locking(runState)) {
300	logNote("WEAK BUG: " + component.toString() + "Locking @ run");	316	logNote(new Result(ResultType.THREAD_RUN,component.toString()));
301	}	317	}
302	}	318	}
303	if (component.getComponentType().equals("Handler")) {	319	if (component.getComponentType().equals("Handler")) {
304	SingleLockState handleState=map.get("handleMessage");	320	SingleLockState handleState=map.get("handleMessage");
305	if (unlocking(handleState) && (!strongUnlocking(handleState))) {	321	if (unlocking(handleState) && (!strongUnlocking(handleState))) {
306	logNote("WEAK BUG: " + component.toString() + "Not full unlocking @ handleMessage");	322	logNote(new Result(ResultType.WEAK_SERVICE_DESTROY,component.toString()));
307	}	323	}
308	}	324	}
309	if (component.getComponentType().equals("BroadcastReceiver")) {	325	if (component.getComponentType().equals("BroadcastReceiver")) {
310	SingleLockState onReceiveState=map.get("onReceive");	326	SingleLockState onReceiveState=map.get("onReceive");
311	if (locking(onReceiveState)) {	327	if (locking(onReceiveState)) {
312	logNote("WEAK BUG: " + component.toString() + "Locking @ onReceive");	328	logNote(new Result(ResultType.BROADCAST_RECEIVER_ONRECEIVE,component.toString()));
313	}	329	}
314	}	330	}
315	}	331	}
316	}	332	}
317	}	333	}

Generated by diff2html on Mon May 14 20:59:15 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_067 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_068

Modified lines:	1, 2, 253
Added line:	None
Removed line:	None

Generated by diff2html on Mon May 14 20:59:15 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_068 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_069

Modified lines:	1, 253
Added line:	None
Removed line:	None

Generated by diff2html on Mon May 14 20:59:15 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_069 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_070

Modified lines:	1, 309
Added line:	None
Removed line:	None

Generated by diff2html on Mon May 14 20:59:15 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_070 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_072

Modified lines:	1, 309
Added line:	None
Removed line:	None

Generated by diff2html on Mon May 14 20:59:15 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_072 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_073

Modified lines:	1, 309
Added line:	None
Removed line:	None

Generated by diff2html on Mon May 14 20:59:15 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_073 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_074

Modified lines:	1, 309
Added line:	None
Removed line:	None

Generated by diff2html on Mon May 14 20:59:15 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_074 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_075

Modified lines:	1, 309
Added line:	310
Removed line:	None

Generated by diff2html on Mon May 14 20:59:15 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_075 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_076

Modified lines:	1, 309
Added line:	None
Removed line:	310

Generated by diff2html on Mon May 14 20:59:15 2012
Command-line: /usr/bin/diff2html DiffViewer/output/AnalysisResults.java//AnalysisResults.java_076 DiffViewer/output/AnalysisResults.java//AnalysisResults.java_077

	DiffViewer/output/AnalysisResults.java//AnalysisResults.java_000		DiffViewer/output/AnalysisResults.java//AnalysisResults.java_001
	126 lines 5326 bytes Last modified : Mon May 14 20:27:08 2012		127 lines 5355 bytes Last modified : Mon May 14 20:27:08 2012
1	//Time : 2012-04-12 06:34:46.721	1	//Time : 2012-04-12 06:35:05.964
2	//Files Open : /mcmutton/src/main/java/edu/ucsd/salud/mcmutton/BugHunt.java /pvekris/src/main/java/energy/interproc/CtxSensLocking.java /pvekris/src/main/java/energy/analysis/WakeLockManager.java /pvekris/src/main/java/energy/analysis/Opts.java /pvekris/src/main/java/energy/analysis/SpecialConditions.java /pvekris/src/main/java/energy/analysis/AnalysisResults.java /pvekris/src/main/java/energy/analysis/ComponentManager.java	2	//Files Open : /mcmutton/src/main/java/edu/ucsd/salud/mcmutton/BugHunt.java /pvekris/src/main/java/energy/interproc/CtxSensLocking.java /pvekris/src/main/java/energy/analysis/WakeLockManager.java /pvekris/src/main/java/energy/analysis/Opts.java /pvekris/src/main/java/energy/analysis/SpecialConditions.java /pvekris/src/main/java/energy/analysis/AnalysisResults.java /pvekris/src/main/java/energy/analysis/ComponentManager.java
3	package energy.analysis;	3	package energy.analysis;
4	import java.util.EnumMap;	4	import java.util.EnumMap;
5	import java.util.HashMap;	5	import java.util.HashMap;
6	import java.util.HashSet;	6	import java.util.HashSet;
7	import java.util.Map;	7	import java.util.Map;
8	import java.util.Map.Entry;	8	import java.util.Map.Entry;
9	import java.util.Set;	9	import java.util.Set;
10	import com.ibm.wala.types.FieldReference;	10	import com.ibm.wala.types.FieldReference;
11	import com.ibm.wala.util.collections.Pair;	11	import com.ibm.wala.util.collections.Pair;
12	import energy.components.Component;	12	import energy.components.Component;
13	import energy.interproc.CompoundLockState;	13	import energy.interproc.CompoundLockState;
14	import energy.interproc.SingleLockState;	14	import energy.interproc.SingleLockState;
15	import energy.util.E;	15	import energy.util.E;
16	public class AnalysisResults {	16	public class AnalysisResults {
17	private HashSet<Pair<Component,Map<String,Map<FieldReference,Set<SingleLockState>>>>> resultStuff=null;	17	private HashSet<Pair<Component,Map<String,Map<FieldReference,Set<SingleLockState>>>>> resultStuff=null;
18	public class ComponentResult {	18	public class ComponentResult {
19	HashMap<String,CompoundLockState> callBackExitStates;	19	HashMap<String,CompoundLockState> callBackExitStates;
20	public ComponentResult(){	20	public ComponentResult(){
21	callBackExitStates=new HashMap<String,CompoundLockState>();	21	callBackExitStates=new HashMap<String,CompoundLockState>();
22	}	22	}
23	}	23	}
24	/**	24	/**
25	* The constructor	25	* The constructor
26	*/	26	*/
27	AnalysisResults(){	27	AnalysisResults(){
28	resultStuff=new HashSet<Pair<Component,Map<String,Map<FieldReference,Set<SingleLockState>>>>>();	28	resultStuff=new HashSet<Pair<Component,Map<String,Map<FieldReference,Set<SingleLockState>>>>>();
29	callBackResultMap=new HashMap<Pair<String,String>,EnumMap<LockUsage,Integer>>();	29	callBackResultMap=new HashMap<Pair<String,String>,EnumMap<LockUsage,Integer>>();
30	}	30	}
31	int threadCount=0;	31	int threadCount=0;
32	int activityCount=0;	32	int activityCount=0;
33	int lockThreads=0;	33	int lockThreads=0;
34	int nolockThreads=0;	34	int nolockThreads=0;
35	int unlockThreads=0;	35	int unlockThreads=0;
36	int lockunlockThreads=0;	36	int lockunlockThreads=0;
37	public enum LockUsage { LOCKING, UNLOCKING, NOLOCKING, LOCKUNLOCK, EMPTY, UNKNOWN_STATE, FULL_UNLOCKING}	37	public enum LockUsage { LOCKING, UNLOCKING, NOLOCKING, LOCKUNLOCK, EMPTY, UNKNOWN_STATE, FULL_UNLOCKING}
38	private Map<Pair<String,String>,EnumMap<LockUsage,Integer>> callBackResultMap;	38	private Map<Pair<String,String>,EnumMap<LockUsage,Integer>> callBackResultMap;
39	public void registerExitLockState( Component component, Map<String,Map<FieldReference,Set<SingleLockState>>> map){	39	public void registerExitLockState( Component component, Map<String,Map<FieldReference,Set<SingleLockState>>> map){
40	resultStuff.add(Pair.make(component,map));	40	resultStuff.add(Pair.make(component,map));
41	StringBuffer sb=new StringBuffer();	41	StringBuffer sb=new StringBuffer();
42	for ( Entry<String,Map<FieldReference,Set<SingleLockState>>> e : map.entrySet()) {	42	for ( Entry<String,Map<FieldReference,Set<SingleLockState>>> e : map.entrySet()) {
43	if (e.getValue().size() > 0) {	43	if (e.getValue().size() > 0) {
44	sb.append(e.getKey() + "\n");	44	sb.append(e.getKey() + "\n");
45	for ( Entry<FieldReference,Set<SingleLockState>> entry : e.getValue().entrySet()) {	45	for ( Entry<FieldReference,Set<SingleLockState>> entry : e.getValue().entrySet()) {
46	sb.append(entry.getKey() + " -> " + entry.getValue().toString());	46	sb.append(entry.getKey() + " -> " + entry.getValue().toString());
47	}	47	}
48	}	48	}
49	}	49	}
50	if (sb.length() > 0) {	50	if (sb.length() > 0) {
51	E.log(1,component.toString() + "\n" + sb.toString());	51	E.log(1,component.toString() + "\n" + sb.toString());
52	}	52	}
53	}	53	}
54	private LockUsage getLockUsage( SingleLockState runState){	54	private LockUsage getLockUsage( SingleLockState runState){
55	if (runState != null) {	55	if (runState != null) {
56	if (runState.isMaybeAcquired() && (!runState.isMaybeReleased())) {	56	if (runState.isMaybeAcquired() && (!runState.isMaybeReleased())) {
57	return LockUsage.LOCKING;	57	return LockUsage.LOCKING;
58	}	58	}
59	else if (!runState.isMaybeReleased() && (!runState.isMaybeAcquired())) {	59	else if (!runState.isMaybeReleased() && (!runState.isMaybeAcquired())) {
60	return LockUsage.EMPTY;	60	return LockUsage.EMPTY;
61	}	61	}
62	else if (runState.isMaybeReleased() && (!runState.isMaybeAcquired())) {	62	else if (runState.isMaybeReleased() && (!runState.isMaybeAcquired())) {
63	return LockUsage.FULL_UNLOCKING;	63	return LockUsage.FULL_UNLOCKING;
64	}	64	}
65	else if (runState.isMaybeReleased()) {	65	else if (runState.isMaybeReleased()) {
66	return LockUsage.UNLOCKING;	66	return LockUsage.UNLOCKING;
67	}	67	}
68	else {	68	else {
69	return LockUsage.UNKNOWN_STATE;	69	return LockUsage.UNKNOWN_STATE;
70	}	70	}
71	}	71	}
72	else {	72	else {
73	return LockUsage.EMPTY;	73	return LockUsage.EMPTY;
74	}	74	}
75	}	75	}
76	public void processResults(){	76	public void processResults(){
		77	System.out.pr=$missing$;
77	for ( Pair<Component,Map<String,Map<FieldReference,Set<SingleLockState>>>> pair : resultStuff) {	78	for ( Pair<Component,Map<String,Map<FieldReference,Set<SingleLockState>>>> pair : resultStuff) {
78	Component component=pair.fst;	79	Component component=pair.fst;
79	String componentName=component.getComponentName();	80	String componentName=component.getComponentName();
80	Map<String,Map<FieldReference,Set<SingleLockState>>> callBackMap=pair.snd;	81	Map<String,Map<FieldReference,Set<SingleLockState>>> callBackMap=pair.snd;
81	for ( Entry<String,Map<FieldReference,Set<SingleLockState>>> e : callBackMap.entrySet()) {	82	for ( Entry<String,Map<FieldReference,Set<SingleLockState>>> e : callBackMap.entrySet()) {
82	String callBackName=e.getKey();	83	String callBackName=e.getKey();
83	Pair<String,String> compAndCB=Pair.make(component.toString(),callBackName);	84	Pair<String,String> compAndCB=Pair.make(component.toString(),callBackName);
84	Pair<String,String> abstCompAndCB=Pair.make(componentName,callBackName);	85	Pair<String,String> abstCompAndCB=Pair.make(componentName,callBackName);
85	HashMap<FieldReference,LockUsage> lockUsages=new HashMap<FieldReference,LockUsage>();	86	HashMap<FieldReference,LockUsage> lockUsages=new HashMap<FieldReference,LockUsage>();
86	for ( Entry<FieldReference,Set<SingleLockState>> fs : e.getValue().entrySet()) {	87	for ( Entry<FieldReference,Set<SingleLockState>> fs : e.getValue().entrySet()) {
87	FieldReference field=fs.getKey();	88	FieldReference field=fs.getKey();
88	Set<SingleLockState> sls=fs.getValue();	89	Set<SingleLockState> sls=fs.getValue();
89	SingleLockState sl=SingleLockState.mergeSingleLockStates(sls);	90	SingleLockState sl=SingleLockState.mergeSingleLockStates(sls);
90	LockUsage lockUsage=getLockUsage(sl);	91	LockUsage lockUsage=getLockUsage(sl);
91	lockUsages.put(field,lockUsage);	92	lockUsages.put(field,lockUsage);
92	EnumMap<LockUsage,Integer> enumMap=callBackResultMap.get(abstCompAndCB);	93	EnumMap<LockUsage,Integer> enumMap=callBackResultMap.get(abstCompAndCB);
93	if (lockUsage != LockUsage.EMPTY) {	94	if (lockUsage != LockUsage.EMPTY) {
94	E.log(1,compAndCB.toString() + " :: " + lockUsage.toString());	95	E.log(1,compAndCB.toString() + " :: " + lockUsage.toString());
95	}	96	}
96	updateEnumMap(enumMap,lockUsage);	97	updateEnumMap(enumMap,lockUsage);
97	}	98	}
98	}	99	}
99	}	100	}
100	}	101	}
101	private void updateEnumMap( EnumMap<LockUsage,Integer> enumMap, LockUsage lockUsage){	102	private void updateEnumMap( EnumMap<LockUsage,Integer> enumMap, LockUsage lockUsage){
102	if (enumMap == null) {	103	if (enumMap == null) {
103	enumMap=new EnumMap<LockUsage,Integer>(LockUsage.class);	104	enumMap=new EnumMap<LockUsage,Integer>(LockUsage.class);
104	}	105	}
105	Integer count=enumMap.get(lockUsage);	106	Integer count=enumMap.get(lockUsage);
106	if (count == null) {	107	if (count == null) {
107	count=new Integer(1);	108	count=new Integer(1);
108	enumMap.put(lockUsage,count);	109	enumMap.put(lockUsage,count);
109	}	110	}
110	else {	111	else {
111	enumMap.put(lockUsage,count + 1);	112	enumMap.put(lockUsage,count + 1);
112	}	113	}
113	}	114	}
114	public void outputFinalResults(){	115	public void outputFinalResults(){
115	for ( Entry<Pair<String,String>,EnumMap<LockUsage,Integer>> e : callBackResultMap.entrySet()) {	116	for ( Entry<Pair<String,String>,EnumMap<LockUsage,Integer>> e : callBackResultMap.entrySet()) {
116	Pair<String,String> key=e.getKey();	117	Pair<String,String> key=e.getKey();
117	E.log(1,key.toString());	118	E.log(1,key.toString());
118	EnumMap<LockUsage,Integer> usages=e.getValue();	119	EnumMap<LockUsage,Integer> usages=e.getValue();
119	for ( Entry<LockUsage,Integer> u : usages.entrySet()) {	120	for ( Entry<LockUsage,Integer> u : usages.entrySet()) {
120	LockUsage usage=u.getKey();	121	LockUsage usage=u.getKey();
121	Integer count=u.getValue();	122	Integer count=u.getValue();
122	E.log(1,"--> " + usage.toString() + " :: "+ count.toString());	123	E.log(1,"--> " + usage.toString() + " :: "+ count.toString());
123	}	124	}
124	}	125	}
125	}	126	}
126	}	127	}

	DiffViewer/output/AnalysisResults.java//AnalysisResults.java_001		DiffViewer/output/AnalysisResults.java//AnalysisResults.java_002
	127 lines 5355 bytes Last modified : Mon May 14 20:27:08 2012		127 lines 5352 bytes Last modified : Mon May 14 20:27:08 2012
1	//Time : 2012-04-12 06:35:05.964	1	//Time : 2012-04-12 06:35:08.289
2	//Files Open : /mcmutton/src/main/java/edu/ucsd/salud/mcmutton/BugHunt.java /pvekris/src/main/java/energy/interproc/CtxSensLocking.java /pvekris/src/main/java/energy/analysis/WakeLockManager.java /pvekris/src/main/java/energy/analysis/Opts.java /pvekris/src/main/java/energy/analysis/SpecialConditions.java /pvekris/src/main/java/energy/analysis/AnalysisResults.java /pvekris/src/main/java/energy/analysis/ComponentManager.java	2	//Files Open : /mcmutton/src/main/java/edu/ucsd/salud/mcmutton/BugHunt.java /pvekris/src/main/java/energy/interproc/CtxSensLocking.java /pvekris/src/main/java/energy/analysis/WakeLockManager.java /pvekris/src/main/java/energy/analysis/Opts.java /pvekris/src/main/java/energy/analysis/SpecialConditions.java /pvekris/src/main/java/energy/analysis/AnalysisResults.java /pvekris/src/main/java/energy/analysis/ComponentManager.java
3	package energy.analysis;	3	package energy.analysis;
4	import java.util.EnumMap;	4	import java.util.EnumMap;
5	import java.util.HashMap;	5	import java.util.HashMap;
6	import java.util.HashSet;	6	import java.util.HashSet;
7	import java.util.Map;	7	import java.util.Map;
8	import java.util.Map.Entry;	8	import java.util.Map.Entry;
9	import java.util.Set;	9	import java.util.Set;
10	import com.ibm.wala.types.FieldReference;	10	import com.ibm.wala.types.FieldReference;
11	import com.ibm.wala.util.collections.Pair;	11	import com.ibm.wala.util.collections.Pair;
12	import energy.components.Component;	12	import energy.components.Component;
13	import energy.interproc.CompoundLockState;	13	import energy.interproc.CompoundLockState;
14	import energy.interproc.SingleLockState;	14	import energy.interproc.SingleLockState;
15	import energy.util.E;	15	import energy.util.E;
16	public class AnalysisResults {	16	public class AnalysisResults {
17	private HashSet<Pair<Component,Map<String,Map<FieldReference,Set<SingleLockState>>>>> resultStuff=null;	17	private HashSet<Pair<Component,Map<String,Map<FieldReference,Set<SingleLockState>>>>> resultStuff=null;
18	public class ComponentResult {	18	public class ComponentResult {
19	HashMap<String,CompoundLockState> callBackExitStates;	19	HashMap<String,CompoundLockState> callBackExitStates;
20	public ComponentResult(){	20	public ComponentResult(){
21	callBackExitStates=new HashMap<String,CompoundLockState>();	21	callBackExitStates=new HashMap<String,CompoundLockState>();
22	}	22	}
23	}	23	}
24	/**	24	/**
25	* The constructor	25	* The constructor
26	*/	26	*/
27	AnalysisResults(){	27	AnalysisResults(){
28	resultStuff=new HashSet<Pair<Component,Map<String,Map<FieldReference,Set<SingleLockState>>>>>();	28	resultStuff=new HashSet<Pair<Component,Map<String,Map<FieldReference,Set<SingleLockState>>>>>();
29	callBackResultMap=new HashMap<Pair<String,String>,EnumMap<LockUsage,Integer>>();	29	callBackResultMap=new HashMap<Pair<String,String>,EnumMap<LockUsage,Integer>>();
30	}	30	}
31	int threadCount=0;	31	int threadCount=0;
32	int activityCount=0;	32	int activityCount=0;
33	int lockThreads=0;	33	int lockThreads=0;
34	int nolockThreads=0;	34	int nolockThreads=0;
35	int unlockThreads=0;	35	int unlockThreads=0;
36	int lockunlockThreads=0;	36	int lockunlockThreads=0;
37	public enum LockUsage { LOCKING, UNLOCKING, NOLOCKING, LOCKUNLOCK, EMPTY, UNKNOWN_STATE, FULL_UNLOCKING}	37	public enum LockUsage { LOCKING, UNLOCKING, NOLOCKING, LOCKUNLOCK, EMPTY, UNKNOWN_STATE, FULL_UNLOCKING}
38	private Map<Pair<String,String>,EnumMap<LockUsage,Integer>> callBackResultMap;	38	private Map<Pair<String,String>,EnumMap<LockUsage,Integer>> callBackResultMap;
39	public void registerExitLockState( Component component, Map<String,Map<FieldReference,Set<SingleLockState>>> map){	39	public void registerExitLockState( Component component, Map<String,Map<FieldReference,Set<SingleLockState>>> map){
40	resultStuff.add(Pair.make(component,map));	40	resultStuff.add(Pair.make(component,map));
41	StringBuffer sb=new StringBuffer();	41	StringBuffer sb=new StringBuffer();
42	for ( Entry<String,Map<FieldReference,Set<SingleLockState>>> e : map.entrySet()) {	42	for ( Entry<String,Map<FieldReference,Set<SingleLockState>>> e : map.entrySet()) {
43	if (e.getValue().size() > 0) {	43	if (e.getValue().size() > 0) {
44	sb.append(e.getKey() + "\n");	44	sb.append(e.getKey() + "\n");
45	for ( Entry<FieldReference,Set<SingleLockState>> entry : e.getValue().entrySet()) {	45	for ( Entry<FieldReference,Set<SingleLockState>> entry : e.getValue().entrySet()) {
46	sb.append(entry.getKey() + " -> " + entry.getValue().toString());	46	sb.append(entry.getKey() + " -> " + entry.getValue().toString());
47	}	47	}
48	}	48	}
49	}	49	}
50	if (sb.length() > 0) {	50	if (sb.length() > 0) {
51	E.log(1,component.toString() + "\n" + sb.toString());	51	E.log(1,component.toString() + "\n" + sb.toString());
52	}	52	}
53	}	53	}
54	private LockUsage getLockUsage( SingleLockState runState){	54	private LockUsage getLockUsage( SingleLockState runState){
55	if (runState != null) {	55	if (runState != null) {
56	if (runState.isMaybeAcquired() && (!runState.isMaybeReleased())) {	56	if (runState.isMaybeAcquired() && (!runState.isMaybeReleased())) {
57	return LockUsage.LOCKING;	57	return LockUsage.LOCKING;
58	}	58	}
59	else if (!runState.isMaybeReleased() && (!runState.isMaybeAcquired())) {	59	else if (!runState.isMaybeReleased() && (!runState.isMaybeAcquired())) {
60	return LockUsage.EMPTY;	60	return LockUsage.EMPTY;
61	}	61	}
62	else if (runState.isMaybeReleased() && (!runState.isMaybeAcquired())) {	62	else if (runState.isMaybeReleased() && (!runState.isMaybeAcquired())) {
63	return LockUsage.FULL_UNLOCKING;	63	return LockUsage.FULL_UNLOCKING;
64	}	64	}
65	else if (runState.isMaybeReleased()) {	65	else if (runState.isMaybeReleased()) {
66	return LockUsage.UNLOCKING;	66	return LockUsage.UNLOCKING;
67	}	67	}
68	else {	68	else {
69	return LockUsage.UNKNOWN_STATE;	69	return LockUsage.UNKNOWN_STATE;
70	}	70	}
71	}	71	}
72	else {	72	else {
73	return LockUsage.EMPTY;	73	return LockUsage.EMPTY;
74	}	74	}
75	}	75	}
76	public void processResults(){	76	public void processResults(){
77	System.out.pr=$missing$;	77	System.out.println();
78	for ( Pair<Component,Map<String,Map<FieldReference,Set<SingleLockState>>>> pair : resultStuff) {	78	for ( Pair<Component,Map<String,Map<FieldReference,Set<SingleLockState>>>> pair : resultStuff) {
79	Component component=pair.fst;	79	Component component=pair.fst;
80	String componentName=component.getComponentName();	80	String componentName=component.getComponentName();
81	Map<String,Map<FieldReference,Set<SingleLockState>>> callBackMap=pair.snd;	81	Map<String,Map<FieldReference,Set<SingleLockState>>> callBackMap=pair.snd;
82	for ( Entry<String,Map<FieldReference,Set<SingleLockState>>> e : callBackMap.entrySet()) {	82	for ( Entry<String,Map<FieldReference,Set<SingleLockState>>> e : callBackMap.entrySet()) {
83	String callBackName=e.getKey();	83	String callBackName=e.getKey();
84	Pair<String,String> compAndCB=Pair.make(component.toString(),callBackName);	84	Pair<String,String> compAndCB=Pair.make(component.toString(),callBackName);
85	Pair<String,String> abstCompAndCB=Pair.make(componentName,callBackName);	85	Pair<String,String> abstCompAndCB=Pair.make(componentName,callBackName);
86	HashMap<FieldReference,LockUsage> lockUsages=new HashMap<FieldReference,LockUsage>();	86	HashMap<FieldReference,LockUsage> lockUsages=new HashMap<FieldReference,LockUsage>();
87	for ( Entry<FieldReference,Set<SingleLockState>> fs : e.getValue().entrySet()) {	87	for ( Entry<FieldReference,Set<SingleLockState>> fs : e.getValue().entrySet()) {
88	FieldReference field=fs.getKey();	88	FieldReference field=fs.getKey();
89	Set<SingleLockState> sls=fs.getValue();	89	Set<SingleLockState> sls=fs.getValue();
90	SingleLockState sl=SingleLockState.mergeSingleLockStates(sls);	90	SingleLockState sl=SingleLockState.mergeSingleLockStates(sls);
91	LockUsage lockUsage=getLockUsage(sl);	91	LockUsage lockUsage=getLockUsage(sl);
92	lockUsages.put(field,lockUsage);	92	lockUsages.put(field,lockUsage);
93	EnumMap<LockUsage,Integer> enumMap=callBackResultMap.get(abstCompAndCB);	93	EnumMap<LockUsage,Integer> enumMap=callBackResultMap.get(abstCompAndCB);
94	if (lockUsage != LockUsage.EMPTY) {	94	if (lockUsage != LockUsage.EMPTY) {
95	E.log(1,compAndCB.toString() + " :: " + lockUsage.toString());	95	E.log(1,compAndCB.toString() + " :: " + lockUsage.toString());
96	}	96	}
97	updateEnumMap(enumMap,lockUsage);	97	updateEnumMap(enumMap,lockUsage);
98	}	98	}
99	}	99	}
100	}	100	}
101	}	101	}
102	private void updateEnumMap( EnumMap<LockUsage,Integer> enumMap, LockUsage lockUsage){	102	private void updateEnumMap( EnumMap<LockUsage,Integer> enumMap, LockUsage lockUsage){
103	if (enumMap == null) {	103	if (enumMap == null) {
104	enumMap=new EnumMap<LockUsage,Integer>(LockUsage.class);	104	enumMap=new EnumMap<LockUsage,Integer>(LockUsage.class);
105	}	105	}
106	Integer count=enumMap.get(lockUsage);	106	Integer count=enumMap.get(lockUsage);
107	if (count == null) {	107	if (count == null) {
108	count=new Integer(1);	108	count=new Integer(1);
109	enumMap.put(lockUsage,count);	109	enumMap.put(lockUsage,count);
110	}	110	}
111	else {	111	else {
112	enumMap.put(lockUsage,count + 1);	112	enumMap.put(lockUsage,count + 1);
113	}	113	}
114	}	114	}
115	public void outputFinalResults(){	115	public void outputFinalResults(){
116	for ( Entry<Pair<String,String>,EnumMap<LockUsage,Integer>> e : callBackResultMap.entrySet()) {	116	for ( Entry<Pair<String,String>,EnumMap<LockUsage,Integer>> e : callBackResultMap.entrySet()) {
117	Pair<String,String> key=e.getKey();	117	Pair<String,String> key=e.getKey();
118	E.log(1,key.toString());	118	E.log(1,key.toString());
119	EnumMap<LockUsage,Integer> usages=e.getValue();	119	EnumMap<LockUsage,Integer> usages=e.getValue();
120	for ( Entry<LockUsage,Integer> u : usages.entrySet()) {	120	for ( Entry<LockUsage,Integer> u : usages.entrySet()) {
121	LockUsage usage=u.getKey();	121	LockUsage usage=u.getKey();
122	Integer count=u.getValue();	122	Integer count=u.getValue();
123	E.log(1,"--> " + usage.toString() + " :: "+ count.toString());	123	E.log(1,"--> " + usage.toString() + " :: "+ count.toString());
124	}	124	}
125	}	125	}
126	}	126	}
127	}	127	}

	DiffViewer/output/AnalysisResults.java//AnalysisResults.java_002		DiffViewer/output/AnalysisResults.java//AnalysisResults.java_003
	127 lines 5352 bytes Last modified : Mon May 14 20:27:08 2012		127 lines 5354 bytes Last modified : Mon May 14 20:27:08 2012
1	//Time : 2012-04-12 06:35:08.289	1	//Time : 2012-04-12 06:35:09.539
2	//Files Open : /mcmutton/src/main/java/edu/ucsd/salud/mcmutton/BugHunt.java /pvekris/src/main/java/energy/interproc/CtxSensLocking.java /pvekris/src/main/java/energy/analysis/WakeLockManager.java /pvekris/src/main/java/energy/analysis/Opts.java /pvekris/src/main/java/energy/analysis/SpecialConditions.java /pvekris/src/main/java/energy/analysis/AnalysisResults.java /pvekris/src/main/java/energy/analysis/ComponentManager.java	2	//Files Open : /mcmutton/src/main/java/edu/ucsd/salud/mcmutton/BugHunt.java /pvekris/src/main/java/energy/interproc/CtxSensLocking.java /pvekris/src/main/java/energy/analysis/WakeLockManager.java /pvekris/src/main/java/energy/analysis/Opts.java /pvekris/src/main/java/energy/analysis/SpecialConditions.java /pvekris/src/main/java/energy/analysis/AnalysisResults.java /pvekris/src/main/java/energy/analysis/ComponentManager.java
3	package energy.analysis;	3	package energy.analysis;
4	import java.util.EnumMap;	4	import java.util.EnumMap;
5	import java.util.HashMap;	5	import java.util.HashMap;
6	import java.util.HashSet;	6	import java.util.HashSet;
7	import java.util.Map;	7	import java.util.Map;
8	import java.util.Map.Entry;	8	import java.util.Map.Entry;
9	import java.util.Set;	9	import java.util.Set;
10	import com.ibm.wala.types.FieldReference;	10	import com.ibm.wala.types.FieldReference;
11	import com.ibm.wala.util.collections.Pair;	11	import com.ibm.wala.util.collections.Pair;
12	import energy.components.Component;	12	import energy.components.Component;
13	import energy.interproc.CompoundLockState;	13	import energy.interproc.CompoundLockState;
14	import energy.interproc.SingleLockState;	14	import energy.interproc.SingleLockState;
15	import energy.util.E;	15	import energy.util.E;
16	public class AnalysisResults {	16	public class AnalysisResults {
17	private HashSet<Pair<Component,Map<String,Map<FieldReference,Set<SingleLockState>>>>> resultStuff=null;	17	private HashSet<Pair<Component,Map<String,Map<FieldReference,Set<SingleLockState>>>>> resultStuff=null;
18	public class ComponentResult {	18	public class ComponentResult {
19	HashMap<String,CompoundLockState> callBackExitStates;	19	HashMap<String,CompoundLockState> callBackExitStates;
20	public ComponentResult(){	20	public ComponentResult(){
21	callBackExitStates=new HashMap<String,CompoundLockState>();	21	callBackExitStates=new HashMap<String,CompoundLockState>();
22	}	22	}
23	}	23	}
24	/**	24	/**
25	* The constructor	25	* The constructor
26	*/	26	*/
27	AnalysisResults(){	27	AnalysisResults(){
28	resultStuff=new HashSet<Pair<Component,Map<String,Map<FieldReference,Set<SingleLockState>>>>>();	28	resultStuff=new HashSet<Pair<Component,Map<String,Map<FieldReference,Set<SingleLockState>>>>>();
29	callBackResultMap=new HashMap<Pair<String,String>,EnumMap<LockUsage,Integer>>();	29	callBackResultMap=new HashMap<Pair<String,String>,EnumMap<LockUsage,Integer>>();
30	}	30	}
31	int threadCount=0;	31	int threadCount=0;
32	int activityCount=0;	32	int activityCount=0;
33	int lockThreads=0;	33	int lockThreads=0;
34	int nolockThreads=0;	34	int nolockThreads=0;
35	int unlockThreads=0;	35	int unlockThreads=0;
36	int lockunlockThreads=0;	36	int lockunlockThreads=0;
37	public enum LockUsage { LOCKING, UNLOCKING, NOLOCKING, LOCKUNLOCK, EMPTY, UNKNOWN_STATE, FULL_UNLOCKING}	37	public enum LockUsage { LOCKING, UNLOCKING, NOLOCKING, LOCKUNLOCK, EMPTY, UNKNOWN_STATE, FULL_UNLOCKING}
38	private Map<Pair<String,String>,EnumMap<LockUsage,Integer>> callBackResultMap;	38	private Map<Pair<String,String>,EnumMap<LockUsage,Integer>> callBackResultMap;
39	public void registerExitLockState( Component component, Map<String,Map<FieldReference,Set<SingleLockState>>> map){	39	public void registerExitLockState( Component component, Map<String,Map<FieldReference,Set<SingleLockState>>> map){
40	resultStuff.add(Pair.make(component,map));	40	resultStuff.add(Pair.make(component,map));
41	StringBuffer sb=new StringBuffer();	41	StringBuffer sb=new StringBuffer();
42	for ( Entry<String,Map<FieldReference,Set<SingleLockState>>> e : map.entrySet()) {	42	for ( Entry<String,Map<FieldReference,Set<SingleLockState>>> e : map.entrySet()) {
43	if (e.getValue().size() > 0) {	43	if (e.getValue().size() > 0) {
44	sb.append(e.getKey() + "\n");	44	sb.append(e.getKey() + "\n");
45	for ( Entry<FieldReference,Set<SingleLockState>> entry : e.getValue().entrySet()) {	45	for ( Entry<FieldReference,Set<SingleLockState>> entry : e.getValue().entrySet()) {
46	sb.append(entry.getKey() + " -> " + entry.getValue().toString());	46	sb.append(entry.getKey() + " -> " + entry.getValue().toString());
47	}	47	}
48	}	48	}
49	}	49	}
50	if (sb.length() > 0) {	50	if (sb.length() > 0) {
51	E.log(1,component.toString() + "\n" + sb.toString());	51	E.log(1,component.toString() + "\n" + sb.toString());
52	}	52	}
53	}	53	}
54	private LockUsage getLockUsage( SingleLockState runState){	54	private LockUsage getLockUsage( SingleLockState runState){
55	if (runState != null) {	55	if (runState != null) {
56	if (runState.isMaybeAcquired() && (!runState.isMaybeReleased())) {	56	if (runState.isMaybeAcquired() && (!runState.isMaybeReleased())) {
57	return LockUsage.LOCKING;	57	return LockUsage.LOCKING;
58	}	58	}
59	else if (!runState.isMaybeReleased() && (!runState.isMaybeAcquired())) {	59	else if (!runState.isMaybeReleased() && (!runState.isMaybeAcquired())) {
60	return LockUsage.EMPTY;	60	return LockUsage.EMPTY;
61	}	61	}
62	else if (runState.isMaybeReleased() && (!runState.isMaybeAcquired())) {	62	else if (runState.isMaybeReleased() && (!runState.isMaybeAcquired())) {
63	return LockUsage.FULL_UNLOCKING;	63	return LockUsage.FULL_UNLOCKING;
64	}	64	}
65	else if (runState.isMaybeReleased()) {	65	else if (runState.isMaybeReleased()) {
66	return LockUsage.UNLOCKING;	66	return LockUsage.UNLOCKING;
67	}	67	}
68	else {	68	else {
69	return LockUsage.UNKNOWN_STATE;	69	return LockUsage.UNKNOWN_STATE;
70	}	70	}
71	}	71	}
72	else {	72	else {
73	return LockUsage.EMPTY;	73	return LockUsage.EMPTY;
74	}	74	}
75	}	75	}
76	public void processResults(){	76	public void processResults(){
77	System.out.println();	77	System.out.println("");
78	for ( Pair<Component,Map<String,Map<FieldReference,Set<SingleLockState>>>> pair : resultStuff) {	78	for ( Pair<Component,Map<String,Map<FieldReference,Set<SingleLockState>>>> pair : resultStuff) {
79	Component component=pair.fst;	79	Component component=pair.fst;
80	String componentName=component.getComponentName();	80	String componentName=component.getComponentName();
81	Map<String,Map<FieldReference,Set<SingleLockState>>> callBackMap=pair.snd;	81	Map<String,Map<FieldReference,Set<SingleLockState>>> callBackMap=pair.snd;
82	for ( Entry<String,Map<FieldReference,Set<SingleLockState>>> e : callBackMap.entrySet()) {	82	for ( Entry<String,Map<FieldReference,Set<SingleLockState>>> e : callBackMap.entrySet()) {
83	String callBackName=e.getKey();	83	String callBackName=e.getKey();
84	Pair<String,String> compAndCB=Pair.make(component.toString(),callBackName);	84	Pair<String,String> compAndCB=Pair.make(component.toString(),callBackName);
85	Pair<String,String> abstCompAndCB=Pair.make(componentName,callBackName);	85	Pair<String,String> abstCompAndCB=Pair.make(componentName,callBackName);
86	HashMap<FieldReference,LockUsage> lockUsages=new HashMap<FieldReference,LockUsage>();	86	HashMap<FieldReference,LockUsage> lockUsages=new HashMap<FieldReference,LockUsage>();
87	for ( Entry<FieldReference,Set<SingleLockState>> fs : e.getValue().entrySet()) {	87	for ( Entry<FieldReference,Set<SingleLockState>> fs : e.getValue().entrySet()) {
88	FieldReference field=fs.getKey();	88	FieldReference field=fs.getKey();
89	Set<SingleLockState> sls=fs.getValue();	89	Set<SingleLockState> sls=fs.getValue();
90	SingleLockState sl=SingleLockState.mergeSingleLockStates(sls);	90	SingleLockState sl=SingleLockState.mergeSingleLockStates(sls);
91	LockUsage lockUsage=getLockUsage(sl);	91	LockUsage lockUsage=getLockUsage(sl);
92	lockUsages.put(field,lockUsage);	92	lockUsages.put(field,lockUsage);
93	EnumMap<LockUsage,Integer> enumMap=callBackResultMap.get(abstCompAndCB);	93	EnumMap<LockUsage,Integer> enumMap=callBackResultMap.get(abstCompAndCB);
94	if (lockUsage != LockUsage.EMPTY) {	94	if (lockUsage != LockUsage.EMPTY) {
95	E.log(1,compAndCB.toString() + " :: " + lockUsage.toString());	95	E.log(1,compAndCB.toString() + " :: " + lockUsage.toString());
96	}	96	}
97	updateEnumMap(enumMap,lockUsage);	97	updateEnumMap(enumMap,lockUsage);
98	}	98	}
99	}	99	}
100	}	100	}
101	}	101	}
102	private void updateEnumMap( EnumMap<LockUsage,Integer> enumMap, LockUsage lockUsage){	102	private void updateEnumMap( EnumMap<LockUsage,Integer> enumMap, LockUsage lockUsage){
103	if (enumMap == null) {	103	if (enumMap == null) {
104	enumMap=new EnumMap<LockUsage,Integer>(LockUsage.class);	104	enumMap=new EnumMap<LockUsage,Integer>(LockUsage.class);
105	}	105	}
106	Integer count=enumMap.get(lockUsage);	106	Integer count=enumMap.get(lockUsage);
107	if (count == null) {	107	if (count == null) {
108	count=new Integer(1);	108	count=new Integer(1);
109	enumMap.put(lockUsage,count);	109	enumMap.put(lockUsage,count);
110	}	110	}
111	else {	111	else {
112	enumMap.put(lockUsage,count + 1);	112	enumMap.put(lockUsage,count + 1);
113	}	113	}
114	}	114	}
115	public void outputFinalResults(){	115	public void outputFinalResults(){
116	for ( Entry<Pair<String,String>,EnumMap<LockUsage,Integer>> e : callBackResultMap.entrySet()) {	116	for ( Entry<Pair<String,String>,EnumMap<LockUsage,Integer>> e : callBackResultMap.entrySet()) {
117	Pair<String,String> key=e.getKey();	117	Pair<String,String> key=e.getKey();
118	E.log(1,key.toString());	118	E.log(1,key.toString());
119	EnumMap<LockUsage,Integer> usages=e.getValue();	119	EnumMap<LockUsage,Integer> usages=e.getValue();
120	for ( Entry<LockUsage,Integer> u : usages.entrySet()) {	120	for ( Entry<LockUsage,Integer> u : usages.entrySet()) {
121	LockUsage usage=u.getKey();	121	LockUsage usage=u.getKey();
122	Integer count=u.getValue();	122	Integer count=u.getValue();
123	E.log(1,"--> " + usage.toString() + " :: "+ count.toString());	123	E.log(1,"--> " + usage.toString() + " :: "+ count.toString());
124	}	124	}
125	}	125	}
126	}	126	}
127	}	127	}